The semantics of incomplete databases as an expression of preferences*engROYER, V.Theoretical computer science. 1991, Vol 78, Num 1, pp 113-136, issn 0304-3975, 24 p.Article

Towards efficient evaluation of methods by reductionKANDZIA, P.-T.Lecture notes in computer science. 1997, Vol 1341, pp 427-428, issn 0302-9743, isbn 3-540-63792-3Conference Paper

Bases de données déductives = Deductive databasesHACID, Mohand-Saïd; KOULOUMDJIAN, Jacques.Techniques de l'ingénieur. Informatique. 1997, Vol HB1, Num H2048, pp H2048.1-H2048.11, issn 0245-9612Article

Non-uniform hypothesis in deductive databases with uncertaintyLOYER, Yann; STRACCIA, Umberto.Lecture notes in computer science. 2002, pp 473-474, issn 0302-9743, isbn 3-540-43930-7, 2 p.Conference Paper

Representing inheritance and overriding in datalogDOBBIE, G; TOPOR, R.Computers and artificial intelligence. 1994, Vol 13, Num 2-3, pp 133-158, issn 0232-0274Article

Inductive logic databases : From extensional to intensional knowledgeFLACH, P. A.Lecture notes in computer science. 1997, Vol 1341, issn 0302-9743, isbn 3-540-63792-3, p. 3Conference Paper

Generalized query answering in disjunctive deductive databases : Procedural and nonmonotonic aspectsYAHYA, A. H.Lecture notes in computer science. 1997, pp 324-340, issn 0302-9743, isbn 3-540-63255-7Conference Paper

A method for integrating deductive databasesXU, L; POULOVASSILIS, A.Lecture notes in computer science. 1997, pp 215-231, issn 0302-9743, isbn 3-540-63263-8Conference Paper

GLUE : Opening the world to theorem proversNEUGEBAUER, G; SCHÄFER, D.Lecture notes in computer science. 1997, pp 410-419, issn 0302-9743, isbn 3-540-63255-7Conference Paper

An architecture for high performance engineering information systemsROUSSOPOULOS, N; MARK, L; SELLIS, T et al.IEEE transactions on software engineering. 1991, Vol 17, Num 1, pp 22-33, issn 0098-5589, 12 p.Article

Programming in three-valued logicDELAHAYE, J. P; THIBAU, V.Theoretical computer science. 1991, Vol 78, Num 1, pp 189-216, issn 0304-3975, 28 p.Article

Deduktive Datenbanksysteme auf dem Weg zur Praxis = Deductive database system on way of practical useKIESSLING, W; GUÊNTZER, U.Informatik (Berlin, West). 1990, Vol 5, Num 4, pp 177-187, issn 0178-3564, 11 p.Article

Handling indefinite and negative data in a deductive databaseJOHNSON, C. A.Data & knowledge engineering. 1991, Vol 6, Num 4, pp 333-348, issn 0169-023X, 16 p.Article

A solution to the unbounded cycle of recursive formulaWU, R. S; HENSCHEN, L. J; PINTSANG CHANG et al.Control and computers. 1990, Vol 18, Num 2, pp 30-36, issn 0730-9538, 7 p.Article

Updating knowledge basesGUESSOUM, A; LLOYD, J. W.New generation computing. 1990, Vol 8, Num 1, pp 71-89, issn 0288-3635, 19 p.Article

Answering queries addressed to a rule baseCHOLVY, L.Revue d'intelligence artificielle. 1990, Vol 4, Num 1, pp 79-98, issn 0992-499X, 20 p.Article

Selection propagation in deductive databases : from pushing selections to magic setsMIYAZAKI, N.Data & knowledge engineering. 1990, Vol 5, Num 4, pp 313-332, issn 0169-023X, 20 p.Article

Fundamental properties of deterministic extensions of datalogABITEBOUL, S; SIMON, E.Theoretical computer science. 1991, Vol 78, Num 1, pp 137-158, issn 0304-3975, 22 p.Article

Knowledge representation using views in relational deductive data basesUCKAN, Y.The Journal of systems and software. 1991, Vol 15, Num 3, pp 217-232, issn 0164-1212, 16 p.Article

Query evaluation in recursive databases : bottom-up and top-down reconciledBRY, F.Data & knowledge engineering. 1990, Vol 5, Num 4, pp 289-312, issn 0169-023X, 24 p.Article

Secure deductive databasesBARKER, Steve.Lecture notes in computer science. 2001, pp 123-137, issn 0302-9743, isbn 3-540-41768-0Conference Paper

Efficient reasoning using the local closed-world AssumptionDOHERTY, Patrick; ŁUKASZEWICZ, Witold; SZAŁAS, Andrzej et al.Lecture notes in computer science. 2000, pp 49-58, issn 0302-9743, isbn 3-540-41044-9Conference Paper

DOA : The deductive object-oriented approach to the development of adaptive natural language interfacesWINIWARTER, W; KAMBAYASHI, Y.Lecture notes in computer science. 1997, pp 137-138, issn 0302-9743, isbn 3-540-63263-8Conference Paper

Handling constraints and generating intensional answers in a deductive database systemGROSS, R; MARTI, R.Computers and artificial intelligence. 1994, Vol 13, Num 2-3, pp 233-256, issn 0232-0274Article

Inference by generating in deductive databases = Interference by... databasesLOZINSKII, E. I.Data & knowledge engineering. 1992, Vol 7, Num 4, pp 327-357, issn 0169-023XArticle